Optimal. Leaf size=189 \[ \frac{3 a \left (21 a^2+80 a b+128 b^2\right ) \tanh ^{-1}(\cosh (c+d x))}{256 d}-\frac{3 a \left (21 a^2+80 a b+128 b^2\right ) \coth (c+d x) \text{csch}(c+d x)}{256 d}-\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^5(c+d x)}{160 d}+\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^3(c+d x)}{128 d}-\frac{a^3 \coth (c+d x) \text{csch}^9(c+d x)}{10 d}+\frac{9 a^3 \coth (c+d x) \text{csch}^7(c+d x)}{80 d}+\frac{b^3 \cosh (c+d x)}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.369044, antiderivative size = 189, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 5, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.217, Rules used = {3215, 1157, 1814, 388, 206} \[ \frac{3 a \left (21 a^2+80 a b+128 b^2\right ) \tanh ^{-1}(\cosh (c+d x))}{256 d}-\frac{3 a \left (21 a^2+80 a b+128 b^2\right ) \coth (c+d x) \text{csch}(c+d x)}{256 d}-\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^5(c+d x)}{160 d}+\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^3(c+d x)}{128 d}-\frac{a^3 \coth (c+d x) \text{csch}^9(c+d x)}{10 d}+\frac{9 a^3 \coth (c+d x) \text{csch}^7(c+d x)}{80 d}+\frac{b^3 \cosh (c+d x)}{d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3215
Rule 1157
Rule 1814
Rule 388
Rule 206
Rubi steps
\begin{align*} \int \text{csch}^{11}(c+d x) \left (a+b \sinh ^4(c+d x)\right )^3 \, dx &=\frac{\operatorname{Subst}\left (\int \frac{\left (a+b-2 b x^2+b x^4\right )^3}{\left (1-x^2\right )^6} \, dx,x,\cosh (c+d x)\right )}{d}\\ &=-\frac{a^3 \coth (c+d x) \text{csch}^9(c+d x)}{10 d}-\frac{\operatorname{Subst}\left (\int \frac{-9 a^3-30 a^2 b-30 a b^2-10 b^3+10 b \left (3 a^2+9 a b+5 b^2\right ) x^2-10 b^2 (9 a+10 b) x^4+10 b^2 (3 a+10 b) x^6-50 b^3 x^8+10 b^3 x^{10}}{\left (1-x^2\right )^5} \, dx,x,\cosh (c+d x)\right )}{10 d}\\ &=\frac{9 a^3 \coth (c+d x) \text{csch}^7(c+d x)}{80 d}-\frac{a^3 \coth (c+d x) \text{csch}^9(c+d x)}{10 d}+\frac{\operatorname{Subst}\left (\int \frac{63 a^3+240 a^2 b+240 a b^2+80 b^3-160 b^2 (3 a+2 b) x^2+240 b^2 (a+2 b) x^4-320 b^3 x^6+80 b^3 x^8}{\left (1-x^2\right )^4} \, dx,x,\cosh (c+d x)\right )}{80 d}\\ &=-\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^5(c+d x)}{160 d}+\frac{9 a^3 \coth (c+d x) \text{csch}^7(c+d x)}{80 d}-\frac{a^3 \coth (c+d x) \text{csch}^9(c+d x)}{10 d}-\frac{\operatorname{Subst}\left (\int \frac{-15 \left (21 a^3+80 a^2 b+96 a b^2+32 b^3\right )+1440 b^2 (a+b) x^2-1440 b^3 x^4+480 b^3 x^6}{\left (1-x^2\right )^3} \, dx,x,\cosh (c+d x)\right )}{480 d}\\ &=\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^3(c+d x)}{128 d}-\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^5(c+d x)}{160 d}+\frac{9 a^3 \coth (c+d x) \text{csch}^7(c+d x)}{80 d}-\frac{a^3 \coth (c+d x) \text{csch}^9(c+d x)}{10 d}+\frac{\operatorname{Subst}\left (\int \frac{15 \left (63 a^3+240 a^2 b+384 a b^2+128 b^3\right )-3840 b^3 x^2+1920 b^3 x^4}{\left (1-x^2\right )^2} \, dx,x,\cosh (c+d x)\right )}{1920 d}\\ &=-\frac{3 a \left (21 a^2+80 a b+128 b^2\right ) \coth (c+d x) \text{csch}(c+d x)}{256 d}+\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^3(c+d x)}{128 d}-\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^5(c+d x)}{160 d}+\frac{9 a^3 \coth (c+d x) \text{csch}^7(c+d x)}{80 d}-\frac{a^3 \coth (c+d x) \text{csch}^9(c+d x)}{10 d}-\frac{\operatorname{Subst}\left (\int \frac{-15 \left (63 a^3+240 a^2 b+384 a b^2+256 b^3\right )+3840 b^3 x^2}{1-x^2} \, dx,x,\cosh (c+d x)\right )}{3840 d}\\ &=\frac{b^3 \cosh (c+d x)}{d}-\frac{3 a \left (21 a^2+80 a b+128 b^2\right ) \coth (c+d x) \text{csch}(c+d x)}{256 d}+\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^3(c+d x)}{128 d}-\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^5(c+d x)}{160 d}+\frac{9 a^3 \coth (c+d x) \text{csch}^7(c+d x)}{80 d}-\frac{a^3 \coth (c+d x) \text{csch}^9(c+d x)}{10 d}+\frac{\left (3 a \left (21 a^2+80 a b+128 b^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{1-x^2} \, dx,x,\cosh (c+d x)\right )}{256 d}\\ &=\frac{3 a \left (21 a^2+80 a b+128 b^2\right ) \tanh ^{-1}(\cosh (c+d x))}{256 d}+\frac{b^3 \cosh (c+d x)}{d}-\frac{3 a \left (21 a^2+80 a b+128 b^2\right ) \coth (c+d x) \text{csch}(c+d x)}{256 d}+\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^3(c+d x)}{128 d}-\frac{a^2 (21 a+80 b) \coth (c+d x) \text{csch}^5(c+d x)}{160 d}+\frac{9 a^3 \coth (c+d x) \text{csch}^7(c+d x)}{80 d}-\frac{a^3 \coth (c+d x) \text{csch}^9(c+d x)}{10 d}\\ \end{align*}
Mathematica [A] time = 2.47304, size = 265, normalized size = 1.4 \[ \frac{b^3 \cosh (c+d x)}{d}-\frac{a \left (60 \left (21 a^2+80 a b+128 b^2\right ) \text{csch}^2\left (\frac{1}{2} (c+d x)\right )+60 \left (21 a^2+80 a b+128 b^2\right ) \text{sech}^2\left (\frac{1}{2} (c+d x)\right )+240 \left (21 a^2+80 a b+128 b^2\right ) \log \left (\tanh \left (\frac{1}{2} (c+d x)\right )\right )+2 a^2 \text{csch}^{10}\left (\frac{1}{2} (c+d x)\right )-15 a^2 \text{csch}^8\left (\frac{1}{2} (c+d x)\right )+2 a^2 \text{sech}^{10}\left (\frac{1}{2} (c+d x)\right )+15 a^2 \text{sech}^8\left (\frac{1}{2} (c+d x)\right )+10 a (7 a+16 b) \text{csch}^6\left (\frac{1}{2} (c+d x)\right )-40 a (7 a+24 b) \text{csch}^4\left (\frac{1}{2} (c+d x)\right )+10 a (7 a+16 b) \text{sech}^6\left (\frac{1}{2} (c+d x)\right )+40 a (7 a+24 b) \text{sech}^4\left (\frac{1}{2} (c+d x)\right )\right )}{20480 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.081, size = 166, normalized size = 0.9 \begin{align*}{\frac{1}{d} \left ({a}^{3} \left ( \left ( -{\frac{ \left ({\rm csch} \left (dx+c\right ) \right ) ^{9}}{10}}+{\frac{9\, \left ({\rm csch} \left (dx+c\right ) \right ) ^{7}}{80}}-{\frac{21\, \left ({\rm csch} \left (dx+c\right ) \right ) ^{5}}{160}}+{\frac{21\, \left ({\rm csch} \left (dx+c\right ) \right ) ^{3}}{128}}-{\frac{63\,{\rm csch} \left (dx+c\right )}{256}} \right ){\rm coth} \left (dx+c\right )+{\frac{63\,{\it Artanh} \left ({{\rm e}^{dx+c}} \right ) }{128}} \right ) +3\,{a}^{2}b \left ( \left ( -1/6\, \left ({\rm csch} \left (dx+c\right ) \right ) ^{5}+{\frac{5\, \left ({\rm csch} \left (dx+c\right ) \right ) ^{3}}{24}}-{\frac{5\,{\rm csch} \left (dx+c\right )}{16}} \right ){\rm coth} \left (dx+c\right )+5/8\,{\it Artanh} \left ({{\rm e}^{dx+c}} \right ) \right ) +3\,a{b}^{2} \left ( -1/2\,{\rm csch} \left (dx+c\right ){\rm coth} \left (dx+c\right )+{\it Artanh} \left ({{\rm e}^{dx+c}} \right ) \right ) +{b}^{3}\cosh \left ( dx+c \right ) \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.14825, size = 774, normalized size = 4.1 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.70407, size = 653, normalized size = 3.46 \begin{align*} \frac{b^{3}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}}{2 \, d} + \frac{3 \,{\left (21 \, a^{3} + 80 \, a^{2} b + 128 \, a b^{2}\right )} \log \left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )} + 2\right )}{512 \, d} - \frac{3 \,{\left (21 \, a^{3} + 80 \, a^{2} b + 128 \, a b^{2}\right )} \log \left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )} - 2\right )}{512 \, d} - \frac{315 \, a^{3}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{9} + 1200 \, a^{2} b{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{9} + 1920 \, a b^{2}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{9} - 5880 \, a^{3}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{7} - 22400 \, a^{2} b{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{7} - 30720 \, a b^{2}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{7} + 43008 \, a^{3}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{5} + 163840 \, a^{2} b{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{5} + 184320 \, a b^{2}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{5} - 151680 \, a^{3}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{3} - 542720 \, a^{2} b{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{3} - 491520 \, a b^{2}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{3} + 247040 \, a^{3}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )} + 675840 \, a^{2} b{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )} + 491520 \, a b^{2}{\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}}{640 \,{\left ({\left (e^{\left (d x + c\right )} + e^{\left (-d x - c\right )}\right )}^{2} - 4\right )}^{5} d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]